Theory and verification of operator design methodology
نویسندگان
چکیده
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملRobust Anti-Windup Control Design for PID Controllers–Theory and Experimental Verification
This paper addresses an approximation-based anti-windup (AW) control strategy for suppressing the windup effect caused by actuator saturation nonlinearity in proportional–integral–derivative (PID) controlled systems. The effect of actuator constraint is firstly regarded as a disturbance imported to the PID controller. The external disturbance can then be modeled by a linear differential equatio...
متن کاملRobust Anti-Windup Control Design for PID Controllers–Theory and Experimental Verification
This paper addresses an approximation-based anti-windup (AW) control strategy for suppressing the windup effect caused by actuator saturation nonlinearity in proportional–integral–derivative (PID) controlled systems. The effect of actuator constraint is firstly regarded as a disturbance imported to the PID controller. The external disturbance can then be modeled by a linear differential equatio...
متن کاملTeaching of System Level Design and Verification: Methodology & Tools
This paper discuses a new approach for teaching of system level digital design and verification by using Split Algorithmic State Machines. The proposed approach enables parallel representation of complex digital systems. At the same time, it provides verification of the system at the early stage of the design by using a spreadsheet-based simulation.
متن کاملDesign and Verification Methodology of Modern High-speed Switches
Focussed research and continuous improvements in silicon technology have enabled high-performance switches and routers to keep pace with the growing rate of traffic on the Internet. A consequence of these improvements is that tremendous pressure is put on the design and validation of such communication systems. In addition to being costeffective, scalable, and highly available, a new networking...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2012
ISSN: 1674-733X,1869-1919
DOI: 10.1007/s11432-011-4537-8